kind-loc(k;i) == islocal(k) destination(lnk(k)) = i 

latex

Definitions	p q, islocal(k), a = b, destination(l), lnk(k)
FDL editor aliases	kind-loc